#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define endl '\n'
const int N = 2e5 + 5;

int n, k;
int a[N];

int main() {
  ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  cin >> n >> k;
  ll sum = 1ll * k * n;
  for (int L = 1, R; L <= min(k, n); L = R + 1) {
    R = min(n, k / (k / L));
    sum -= 1ll * (R + 1 - L) * (L + R) / 2 * (k / L);
  }
  cout << sum;
  return 0;
}